The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...